@article{ liu73scheduling,
    author = "C. L. Liu and James W. Layland",
    title = "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment",
    journal = "Journal of the ACM",
    volume = "20",
    number = "1",
    pages = "46--61",
    year = "1973",
    url = "citeseer.ist.psu.edu/liu73scheduling.html" }
@article{186360,
 author = {K. W. Tindell and A. Burns and A. J. Wellings},
 title = {An extendible approach for analyzing fixed priority hard real-time tasks},
 journal = {Real-Time Syst.},
 volume = {6},
 number = {2},
 year = {1994},
 issn = {0922-6443},
 pages = {133--151},
 doi = {http://dx.doi.org/10.1007/BF01088593},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA},
 }
@book{174003,
 author = {Mark H. Klein and Thomas Ralya and Bill Pollak and Ray Obenza and Michael Gonz\'{a}lez Harbour},
 title = {A practitioner's handbook for real-time analysis},
 year = {1993},
 isbn = {0-7923-9361-9},
 source = {Software Engineering Institute real-time handbook series},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA},
 }
@techreport{ spurispurianalysis,
    author = "Marco Spuri",
    title = "Analysis of Deadline Scheduled Real-Time Systems",
    number = "RR-2772",
    pages = "30 p.",
    url = "citeseer.ist.psu.edu/spuri96analysis.html" }
@article{ liu73scheduling,
    author = "C. L. Liu and James W. Layland",
    title = "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment",
    journal = "Journal of the ACM",
    volume = "20",
    number = "1",
    pages = "46--61",
    year = "1973",
    url = "citeseer.ist.psu.edu/liu73scheduling.html" }
@techreport{ spurispurianalysis,
    author = "Marco Spuri",
    title = "Analysis of Deadline Scheduled Real-Time Systems",
    number = "RR-2772",
    pages = "30 p.",
    url = "citeseer.ist.psu.edu/spuri96analysis.html" }
@article{ liu73scheduling,
    author = "C. L. Liu and James W. Layland",
    title = "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment",
    journal = "Journal of the ACM",
    volume = "20",
    number = "1",
    pages = "46--61",
    year = "1973",
    url = "citeseer.ist.psu.edu/liu73scheduling.html" }
